Defining the degree of categoricity of a computable structure ${\mathcal{M}}$ to be the least degree d for which ${\mathcal{M}}$ is d-computably categorical, we investigate which Turing degrees can be realized as degrees of categoricity. We show that for all n, degrees d.c.e. in and above 0 (n) can be so realized, as can the degree 0 (ω).

We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω.

Friedrich Nietzsche has emerged as one of the most important and influential modern philosophers. For several decades, the book series Monographien und Texte zur Nietzsche-Forschung (MTNF) has set the agenda in a rapidly growing and changing field of Nietzsche scholarship. The scope of the series is interdisciplinary and international in orientation reflects the entire spectrum of research on Nietzsche, from philosophy to literary studies and political theory. The series publishes monographs and edited volumes that undergo a strict peer-review process. The (...) book series is led by an international team of editors, whose work represents the full range of current Nietzsche scholarship. (shrink)

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

Social robots are gradually entering children’s lives in a period when children learn about social relationships and exercise prosocial behaviors with parents, peers, and teachers. Designed for long-term emotional engagement and to take the roles of friends, teachers, and babysitters, such robots have the potential to influence how children develop empathy. This article presents a review of the literature in the fields of human–robot interaction, psychology, neuropsychology, and roboethics, discussing the potential impact of communication with social robots on children’s social (...) and emotional development. The critical analysis of evidence behind these discussions shows that, although robots theoretically have high chances of influencing the development of empathy in children, depending on their design, intensity, and context of use, there is no certainty about the kind of effect they might have. Most of the analyzed studies, which showed the ability of robots to improve empathy levels in children, were not longitudinal, while the studies observing and arguing for the negative effect of robots on children’s empathy were either purely theoretical or dependent on the specific design of the robot and the situation. Therefore, there is a need for studies investigating the effects on children’s social and emotional development of long-term regular and consistent communication with robots of various designs and in different situations. (shrink)

Existing scholarly work on corporate social responsibility frequently emphasizes either normative/ethical claims about social progress or instrumental/strategic claims about corporate effectiveness, yet less often acknowledges the moral conditions of those undertaking CSR within a specific cultural context. In this paper, we draw attention to the social conditions in which CSR takes place and the related ethics of the subjects that must enact it. Our approach is to document the lived experiences of practitioners in Romania, a post-communist society. Drawing from fifty-three (...) depth interviews with both corporate responsibility practitioners, and managers in non-profit organizations who together work on CSR projects, we describe their experiences of the social and organizational environment, the CSR practices that are undertaken in this context, and the intended and unintended consequences of such work. Using Bauman’s theorization of ethics, including adiaphora and moral distancing, and Borţun’s interpretation of Romanianness, we then theorize liquid CSR as an ambivalence between adiaphoric practice and the moral impulse to do good, resulting in both intended and unintended consequences. (shrink)

Employing theoretical resources from Transactional Analysis and drawing from interviews with managers dealing with social or environmental issues in their role, we explain how CSR activity provides a context for dramas in which actors may ignore, or discount aspects of self, others, and the contexts of their work as they maintain and reproduce the roles of Rescuers, Persecutors and Victims. In doing so, we add to knowledge about CSR by providing an explanation for how the contradictions of CSR are avoided (...) in practice even when actors may be aware of them. Specifically, we theorise how CSR work can produce dramatic stories where adversity is apparently overcome, whilst little is actually achieved at the social level. We also add to the range of psychoanalytic tools used to account for organisational behaviours, emphasising how TA can explain the relational dynamics of CSR. (shrink)

The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver [20] and Harrington, Kechris and Louveau [6] show that with respect to Borel reducibility, any Borel equivalence relation strictly above equality on ω is above equality on , the power set of ω, and any Borel equivalence relation strictly above equality on the reals is above equality modulo finite on . In this article we examine the effective (...) content of these and related results by studying effectively Borel equivalence relations under effectively Borel reducibility. The resulting structure is complex, even for equivalence relations with finitely many equivalence classes. However use of Kleene’s O as a parameter is sufficient to restore the picture from the noneffective setting. A key lemma is that of the existence of two effectively Borel sets of reals, neither of which contains the range of the other under any effectively Borel function; the proof of this result applies Barwise compactness to a deep theorem of Harrington establishing for any recursive ordinal α the existence of singletons whose α-jumps are Turing incomparable. (shrink)

In this article, we examine two philosophical theories of recognition: those of Paul Ricoeur and Alexandre Kojève. We trace this line of development in the theory of recognition as a return from Ricoeur to Kojève. Our hypothesis is that over the past twenty years, the theory of recognition has undergone a change in content and has transformed into a theory of misrecognition. In turn, the theory of misrecognition is grounded in the struggle between subjects and brings us back to the (...) discourse of the struggle between the Slave and the Master. This transformation from struggle to reciprocity and vice versa, we argue, suggests that a theory of identity formation as a process of resistance to assujettissement is in demand at this moment in history. In the 2010s, as the theory of misrecognition took shape primarily in the English‑speaking world, the constitution of the subject began to be understood once again as the outcome of struggles within feminist, Marxist, and other emancipatory theories. We examine both Ricoeur’s arguments against Kojève, Althusser, and the theory of misrecognition in general, as well as the «return» of Kojève’s arguments in the contemporary theory of misrecognition. (shrink)

We study the structure of Σ11 equivalence relations on hyperarithmetical subsets of ω under reducibilities given by hyperarithmetical or computable functions, called h-reducibility and FF-reducibility, respectively. We show that the structure is rich even when one fixes the number of properly equation imagei.e., Σ11 but not equation image equivalence classes. We also show the existence of incomparable Σ11 equivalence relations that are complete as subsets of ω × ω with respect to the corresponding reducibility on sets. We study complete Σ11 (...) equivalence relations and show that existence of infinitely many properly Σ11 equivalence classes that are complete as Σ11 sets is necessary but not sufficient for a relation to be complete in the context of Σ11 equivalence relations. (shrink)

Does George Berkeley provide an argument for the existence of the Judeo-Christian God at Principles of Human Knowledge, part I, section 29? The standard answer is that he does. In this paper, we challenge that interpretation. First, we look at section 29 in the context of its preceding sections and argue that the most the argument establishes is that there are at least two minds, that is, that the thesis of solipsism is false. Next, we examine the argument in section (...) 29 in light of the conclusions Berkeley draws in sections 30–33. There Berkeley concludes that there is one cause of the ordered world of ideas, a cause he calls the "Author of Nature." We argue that Berkeley's Author of Nature is conceptually distinct from, although numerically identical with, the Judeo-Christian God, for whose existence Berkeley argues in section 146. Finally, we ask whether, if our conclusion is correct, it is significant that Berkeley drew a conceptual distinction between the Author of Nature and the Judeo-Christian God. (shrink)

Предназначено для студентов художественных вузов и факультетов, а также для учащихся профессиональных учебных заведений художественного профиля.

Intracellular bacteria were recently shown to employ eukaryotic prenylation system for modifying activity and ensuring proper intracellular localization of their own proteins. Following the same logic, the proteins of viruses may also serve as prenylation substrates. Using extensively validated high-confidence prenylation predictions by PrePS with a cut-off for experimentally confirmed farnesylation of hepatitis delta virus antigen, we compiled in silico evidence for several new prenylation candidates, including IRL9 and few other proteins encoded by Herpesviridae, Nef, E1A, NS5A, PB2, HN, L83L, (...) MC155R, other Poxviridae proteins, and some bacteriophages of human associated bacteria. If confirmed experimentally, these findings may aid in dissection of molecular functions of uncharacterized viral proteins and provide a novel rationale for statin and FT/GGT1-based inhibition of viral infections. Prenylation of bacteriophage proteins may aid in moderation of microbial infections. Many human viruses, including HCV, HIV1, ASFV, and a number of Adeno-, Pox-, and herpesviruses, including CMV, encode the substrates for mammalian prenylation enzymes. Prenylation is advantageous for viral infection; its suppression by FT/GGT and FPPS inhibitors has antiviral effects. In bacteriophages, prenylation may aid in moderation of microbial infections. (shrink)

I assert that Bulgarian journalists recruited during communism to also serve the government as intelligence agents had the opportunity to make moral choices despite the country's dictatorship. Post-communist discussions in Bulgarian media focused on the extent of guilt of journalists who acted as spies. The three possibilities of forgetting the past, punishing those who spied, or forgiving them, are considered. The article concludes that the spy/journalists cannot be forgiven because they violated moral principles that had been vital in Eastern Europe (...) even during the communist regimes; a democratic society should rely on journalists with no history of deceiving audiences. (shrink)

In the present-day information burst and information revolution epoch the mankind must realize the adaptation to the new conditions of its existence in the limited time. The most important problem is the problem of the human being successful adaptation to the modern information medium. The information medium is the factor demanding absolutely new adaptation of human being. Modern information medium specific character leads to correction of existing nature and social human being adaptation mechanisms and creation of new mechanisms. Information technologies (...) as a modern civilization core change not only quality and substance of present time human being life, but they threaten to transformate his way of existence in the modern world. (shrink)

ABSTRACTThis article deals with Dostoevsky’s controversial concept of love and its relation to that of Nietzsche. Despite many parallels, Dostoevsky’s thought on love can be viewed as a criticism, avant la letter, of Nietzsche’s claim to having unmasked the Christian idea of neighbour-love ‘for God’s sake’ as an illusion. Yet, in addition to neighbour-love, Dostoevsky also entertains the idea of ‘furthest love’, love for the Übermensch of the future. The article examines Dostoevsky’s experiments with love’s different forms and argues that (...) the question underlying these explorations is whether Christian love can positively impact the world or whether it is doomed to be ineffectual, even destructive. It is argued that, while Dostoevsky’s novels often expose love’s fallibility and even its impotence, they nonetheless manifest the quest for a love capable of redeeming the world. It is shown how Dostoevsky considered one’s understanding of love to hinge on anthropological views, such as belief in the immortality of the soul or the degree of human freedom and responsibility; and how the reality and practice of love, in turn, influences both who we are and understand ourselves to be.​. (shrink)

Following a proposal by Kooi and Tamminga, we introduce a conservative translation manual for every four-valued truth-functional propositional logic into a modal logic. However, the application of this translation does not preserve the intuitive reading of the truth-values for every four-valued logic. In order to solve this problem, we modify the translation manual and prove its conservativity by exploiting the method of generalized truth-values.

Is there a unique way to de-idealize models? If not, how might the possible ways of reducing the distortion between models and reality differ from each other? Based on an empirical case study conducted in financial markets, this paper discusses how a popular valuation model (the Discounted Cash Flow model) idealizes reality and how the market participants de-idealize it in concrete market situations. In contrast to Cartwright's view that economic models are generally over-constrained, this paper suggests that valuation models are (...) under-constrained. This serves as the reason why the relaxation of simplifying assumptions and concretization do not work as methods of de-idealization. The paper finds that financial market participants de-idealize models using commentary that takes the form of judgment. As a conclusion, a hypothesis is formulated that proposes that the more underdetermined the model is the bigger role narrative and other pragmatic elements play in the process of model application. (shrink)

In this topical section, we highlight the next step of research on modeling aiming to contribute to the emerging literature that radically refrains from approaching modeling as a scientific endeavor. Modeling surpasses “doing science” because it is frequently incorporated into decision-making processes in politics and management, i.e., areas which are not solely epistemically oriented. We do not refer to the production of models in academia for abstract or imaginary applications in practical fields, but instead highlight the real entwinement of science (...) and policy and the real erosion of their boundaries. Models in decision making – due to their strong entwinement with policy and management – are utilized differently than models in science; they are employed for different purposes and with different constraints. We claim that “being a part of decision-making” implies that models are elements of a very particular situation, in which knowledge about the present and the future is limited but dependence of decisions on the future is distinct. Emphasis on the future indicates that decisions are made about actions that have severe and lasting consequences. In these specific situations, models enable not only the acquisition of knowledge (the primary goal of science) but also enable deciding upon actions that change the course of events. As a result, there are specific ways to construct effective models and justify their results. Although some studies have explored this topic, our understanding of how models contribute to decision making outside of science remains fragmentary. This topical section aims to fill this gap in research and formulate an agenda for additional and more systematic investigations in the field. (shrink)

In this paper, the year names on two tablets from the reign of Naramsin of Akkad are mutually restored and their contribution to understanding the development of Old Akkadian royal iconography is considered.

In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...) provide a criticism of the Standard View in favour of the New View. Secondly, we propose a formal setting to represent the notion of factive ignorance. (shrink)

This article provides an overview of current research in the field of STS on neoliberalism. The paper discusses the major changes in science associated with the spread of neoliberalism. The following key aspects of neoliberalism influence on the development of science are discussed: the increasing commercialization of science (on the examples of commercialization of meteorology and privatization of stream restoration); an increasing influence of scientism in regulation of technology; and an increasing role of social activism in this regulation.

For a computable structure $\mathcal {M}$, the categoricity spectrum is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable copies of $\mathcal {M}$. If the spectrum has a least degree, this degree is called the degree of categoricity of $\mathcal {M}$. In this paper we investigate spectra of categoricity for computable rigid structures. In particular, we give examples of rigid structures without degrees of categoricity.

LetEbe a computably enumerable equivalence relation on the setωof natural numbers. We say that the quotient set$\omega /E$realizesa linearly ordered set${\cal L}$if there exists a c.e. relation ⊴ respectingEsuch that the induced structure is isomorphic to${\cal L}$. Thus, one can consider the class of all linearly ordered sets that are realized by$\omega /E$; formally,${\cal K}\left = \left\{ {{\cal L}\,|\,{\rm{the}}\,{\rm{order}}\, - \,{\rm{type}}\,{\cal L}\,{\rm{is}}\,{\rm{realized}}\,{\rm{by}}\,E} \right\}$. In this paper we study the relationship between computability-theoretic properties ofEand algebraic properties of linearly ordered sets realized (...) byE. One can also define the following pre-order$ \le _{lo} $on the class of all c.e. equivalence relations:$E_1 \le _{lo} E_2 $if every linear order realized byE1is also realized byE2. Following the tradition of computability theory, thelo-degrees are the classes of equivalence relations induced by the pre-order$ \le _{lo} $. We study the partially ordered set oflo-degrees. For instance, we construct various chains and anti-chains and show the existence of a maximal element among thelo-degrees. (shrink)

Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular strong (...) limit cardinal or PFA. (shrink)

The article aims to show that the task of grounding categorial constituents in the specific founded acts of perception yields the problem field of phenomenological inquiry, within the framework of which remains Heidegger’s project of fundamental ontology. To achieve this goal the article reconstructs, first, the problem of the possibility of a priori correspondence between meaning and intuition of the intentional act; second, the phenomenological justification of extension of the traditional concept of truth, as a result of which truth characteristic (...) expands to intentional acts structured in a certain way, namely acts of total agreement between meaning and intuition (identification acts); third, the problem of the “categorial” in the phenomenological analysis of perception, which includes the extension of the concept of perception, limited in transcendental philosophy to the area of sensible intuitions, and justification of the specific categorial acts. On this basis, the article demonstrates that (1) phenomenology in a certain sense continues the project of transcendental philosophy, but the idea of a priori correspondence between notion and intuition within the framework of structural analysis of intentionality forms a new research problem. (2) The phenomenological understanding of truth in terms of the dynamics of empty and filled meaning intention is significant for the concept of truth presented by Heidegger in Being and Time. Heidegger explicates the concept of the truth in fundamental ontology based on the idea of identification. (3) The extension of the concept of object to its categorial constitution justified by Husserl provides fundamental ontology with the research subject. Heidegger interprets the categories, phenomenally represented in acts of categorial intuition, as a priori structures of the being of beings. The study also ascertains that new concepts of Husserl’s phenomenology saturate the conceptual framework of fundamental ontology. However, Heidegger also rethinks the key concepts of phenomenology in accordance with objectives which are different from the original objectives of the project of phenomenology designed by Husserl. (shrink)

In recent years, philosophers of science have begun to realize that the clear separation of the creation of models in academia and the application of models outside science is not possible. When these philosophers address hybrid contexts in which science is entwined with policy, business, and other realms of society, these often practically oriented realms no longer represent ‘the surroundings’ of science but rather are considered an essential part of it. I argue—and demonstrate empirically—that the judgement of a theory or (...) model conducted by scientists in such hybrid contexts may contain two parts: one is truth supportive and the other is utility oriented. In relation to the debate on science and values, the article seeks to reinforce the argument in modern philosophy of science that the boundaries between epistemic and non-epistemic values are blurred. The article stresses that non-epistemic values may be also understood as values that contribute to the instrumental success of a theory or model and—in this way—influence scientific practice in the hybrid contexts. (shrink)